Truth degree of intuitionistic fuzzy propositional logic formula 直覺模糊命題邏輯公式的真度
Theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas 模糊謂詞邏輯公式的有限和可數(shù)解釋真度理論
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly 這種方法可以對邏輯公式的原始形態(tài)直接進(jìn)行計算,無需化簡。
Theory of truth degree of first - order fuzzy predicate logics formulas based on the finite interpretation and enumerable interpretation and its application 一階模糊謂詞邏輯公式的有限解釋真度和可數(shù)解釋真度的理論及其應(yīng)用
After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively , the correctness of uml statecharts can be verified using automaton - based model checking method 在把根據(jù)eha操作語義得到的標(biāo)記遷移系統(tǒng)和表示性質(zhì)的線性時態(tài)邏輯公式分別轉(zhuǎn)換為b chi自動機后,用基于自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
logic: n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理 ...formula: n. (pl. formulas, -lae ) 1.公 ...formula (mathematical logic): 公式 (數(shù)理邏輯)formula of propositional logic: 命題邏輯公式validity of formula in fuzzy logic: 模糊邏輯公式的有效性by formula: 按公式formula: n. (pl. formulas, -lae ) 1.公式,程式;定則,方案。 2.【醫(yī)學(xué)】配方,處方。 3.(政治口號等的)提法,表述,套語,慣用語句。 4.【宗教】信仰表白書。 5.【化學(xué)】式;【數(shù)學(xué)】公式。 a formula for making soap 肥皂制法[配方]。 formula of integration 積分公式。 a binominal formula 【數(shù)學(xué)】二項式。 a legal formula 法律上的慣用語句。 a molecular formula 【化學(xué)】分子式。 a structural formula 【化學(xué)】結(jié)構(gòu)式,構(gòu)造式。 adj. (賽車)方程式的(指賽車要符合規(guī)定的體積,重量及汽缸容量等)。 the formula: 魔頭對魔頭-logic: -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”: biological, philological. and logic: “與”邏輯logic: n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。 logic-and: 邏輯“與”or logic: 或邏輯a ortionment formula: 分?jǐn)偡匠淌?/ol>a pseudoscientific formula: 一個假科學(xué)公式a rigid formula: 呆板的公式; 僵硬的公式abbreviated formula: 簡化式; 簡寫式; 縮寫式absorption formula: 吸收性公式accessing formula: 訪問公式accounting formula: 會計公式activation formula: 激活公式add formula: 加添公式addition formula: 加法公式agreed formula: 一致同意的辦法, 商定方案airlight formula: 大氣光學(xué)公式